Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
511	Similarity in Computer Programs Concretely, recall the SCO vs. IBM lawsuits from a few years back (see, e.g., Raymond and LandleyAt issue was whether IBM, a licensee of some of SCO!s source Abstract Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2007-03-02 08:19:53 Sorting algorithms Object-oriented programming languages Theoretical computer science Functional languages Quicksort Science Scala Algorithm Recursion Sort Merge sort D
512	Applied Mathematics and Computation xxxxxx–xxx Contents lists available at ScienceDirect Applied Mathematics and Computation journal homepage: www.elsevier.com/locate/amc Add to Reading List Source URL: scribblethink.org Language: English - Date: 2012-10-07 04:35:37 Computability theory Theory of computation Randomness Theoretical computer science Algorithmic information theory Kolmogorov complexity Algorithmically random sequence Computable function Complexity Algorithm Pseudorandomness Lossless compression
513	Powerpoint-presentation Information and Computing Sciences Add to Reading List Source URL: www.usefulpatterns.org Language: English - Date: 2015-04-25 08:23:03 Algorithmic information theory Computability theory Randomness Theoretical computer science Turing machine Kolmogorov complexity Algorithmically random sequence Algorithmic probability Minimum description length Complexity Ray Solomonoff Algorithm
514	BOOKS ABOUT BAASE VAN GELDER COMPUTER ALGORITHMS SOLUTIONS Cityhalllosangeles.com BAASE VAN GELDER COMPUT... Add to Reading List Source URL: b.cityhalllosangeles.com Language: English - Date: 2015-03-05 01:30:27 Algorithm Mathematical logic Theoretical computer science Van Gelder Gelder Dive computer Computer Mathematical optimization
515	Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 10:44:59 Lambda calculus Functional programming Theoretical computer science Logic in computer science Continuation-passing style Combinatory logic Eval Monad Derivative Free variables and bound variables Lambda calculus definition A-normal form
516	Daniel Augot’s one page curriculum vitæ (as of October, 3rd 2013) • Contact address: INRIA Saclay–ˆIle-de-France & LIX Bˆ atiment Alan Turing 1 rue Honor´e d’Estienne d’Orves Add to Reading List Source URL: pages.saclay.inria.fr Language: English - Date: 2013-10-03 04:36:34 French Institute for Research in Computer Science and Automation Theoretical computer science Pierre and Marie Curie University cole Polytechnique
517	Limitations of Quantum Advice and One-Way Communication Add to Reading List Source URL: theoryofcomputing.org Language: English - Date: 2014-11-14 13:01:57 Quantum complexity theory Quantum information science Quantum computing Computational complexity theory Theoretical computer science PP BQP QMA Quantum algorithm Quantum circuit IP Quantum information
518	Computability 1 Tao Jiang Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2002-01-28 23:36:37 Computability theory Theory of computation Turing machine Models of computation Theoretical computer science Computability Algorithm Halting problem Reduction Computable function NP Complexity class
519	Genome Informatics 12: 272–Identifying Genetic Network Using Experimental Time Series Data by Boolean Algorithm Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2002-01-17 03:51:05 Systems biology Bioinformatics Networks Gene expression Gene regulatory network Theoretical computer science Boolean Algorithm Biological network MAD
520	Efficient viewshed computation on terrain in external memory Marcus V. A. Andrade1,2 , Salles V. G. Magalh˜aes1 , Mirella A. Magalh˜aes1 , W. Randolph Franklin2 , and Barbara M. Cutler3 1 2 Add to Reading List Source URL: www.cs.rpi.edu Language: English - Date: 2009-11-19 21:17:30 Theoretical computer science Computational complexity theory Analysis of algorithms Geometry Visibility Viewshed Time complexity Algorithm Motion planning Viewshed analysis

UPDATE